<?php

class CppExecutor {

}